//---------------------------------------------------------------------------

#ifndef Unit1H
#define Unit1H
//---------------------------------------------------------------------------
#include <Classes.hpp>
#include <Controls.hpp>
#include <StdCtrls.hpp>
#include <Forms.hpp>
#include <ExtCtrls.hpp>

#include "BFIAND.h"
#include "BFIConvImplication.h"
#include "BFIEmptySet.h"
#include "BFIExpression.h"
#include "BFIImplication.h"
#include "BFIOR.h"
#include "BFIPirs.h"
#include "BFISymbol.h"
#include "BFITextSymbol.h"
#include "BFIXOR.h"
#include "BFISymbolsFactory.h"
#include "BFIConcreteCharacter.h"

#include <ActnList.hpp>
#include <Buttons.hpp>
#include <Menus.hpp>
#include <Dialogs.hpp>
#include <ComCtrls.hpp>

//---------------------------------------------------------------------------
class TForm1 : public TForm
{
__published:	// IDE-managed Components
	TScrollBox *ScrollBox1;
	TImage *Image1;
	TScrollBox *ScrollBox2;
	TImage *Image2;
	TActionList *ActionList1;
	TAction *Q;
	TSpeedButton *SpeedButton1;
	TSpeedButton *SpeedButtonA;
	TSpeedButton *SpeedButtonB;
	TSpeedButton *SpeedButtonC;
	TSpeedButton *SpeedButtonD;
	TSpeedButton *SpeedButtonE;
	TSpeedButton *SpeedButtonF;
	TSpeedButton *SpeedButtonG;
	TSpeedButton *SpeedButtonH;
	TSpeedButton *SpeedButtonI;
	TSpeedButton *SpeedButtonJ;
	TSpeedButton *SpeedButtonK;
	TSpeedButton *SpeedButtonL;
	TSpeedButton *SpeedButtonM;
	TSpeedButton *SpeedButtonN;
	TSpeedButton *SpeedButtonO;
	TSpeedButton *SpeedButtonP;
	TSpeedButton *SpeedButtonQ;
	TSpeedButton *SpeedButtonR;
	TSpeedButton *SpeedButtonS;
	TSpeedButton *SpeedButtonT;
	TSpeedButton *SpeedButtonV;
	TSpeedButton *SpeedButtonW;
	TSpeedButton *SpeedButtonX;
	TSpeedButton *SpeedButtonY;
	TSpeedButton *SpeedButtonZ;
	TSpeedButton *SpeedButtonAND;
	TSpeedButton *SpeedButtonOR;
	TSpeedButton *SpeedButtonXOR;
	TSpeedButton *SpeedButtonEqual;
	TSpeedButton *SpeedButtonImpl;
	TSpeedButton *SpeedButtonConvImpl;
	TSpeedButton *SpeedButtonSheffer;
	TSpeedButton *SpeedButtonNOR;
	TMainMenu *MainMenu1;
	TMenuItem *N1;
	TMenuItem *N2;
	TSpeedButton *SpeedButton2;
	TSpeedButton *SpeedButton3;
	TSpeedButton *SpeedButton4;
	TSpeedButton *SpeedButton5;
	TSpeedButton *SpeedButton6;
	TMemo *Memo1;
	TMenuItem *N3;
	TMenuItem *N4;
	TMenuItem *N6;
    TMenuItem *N5;
	TMenuItem *N7;
	TSaveDialog *SaveDialog1;
	TOpenDialog *OpenDialog1;
	TAction *Save;
	TSpeedButton *SpeedButton7;
	THotKey *HotKeyOpen;
	THotKey *HotKeySave;
	THotKey *HotKeyExit;
	THotKey *HotKeyAlph;
	TMenuItem *N8;
	TMenuItem *N9;
	TMenuItem *N10;
	THotKey *HotKeyHelp;
	void __fastcall FormKeyPress(TObject *Sender, wchar_t &Key);
	void __fastcall FormMouseWheel(TObject *Sender, TShiftState Shift, int WheelDelta,
          TPoint &MousePos, bool &Handled);
	void __fastcall FormCreate(TObject *Sender);
	void __fastcall SpeedButton1Click(TObject *Sender);
	void __fastcall N2Click(TObject *Sender);
	void __fastcall SpeedButtonAClick(TObject *Sender);
	void __fastcall SpeedButtonBClick(TObject *Sender);
	void __fastcall SpeedButtonCClick(TObject *Sender);
	void __fastcall SpeedButtonDClick(TObject *Sender);
	void __fastcall SpeedButtonEClick(TObject *Sender);
	void __fastcall SpeedButtonFClick(TObject *Sender);
	void __fastcall SpeedButtonGClick(TObject *Sender);
	void __fastcall SpeedButtonHClick(TObject *Sender);
	void __fastcall SpeedButtonIClick(TObject *Sender);
	void __fastcall SpeedButtonJClick(TObject *Sender);
	void __fastcall SpeedButtonKClick(TObject *Sender);
	void __fastcall SpeedButtonLClick(TObject *Sender);
	void __fastcall SpeedButtonMClick(TObject *Sender);
	void __fastcall SpeedButtonNClick(TObject *Sender);
	void __fastcall SpeedButtonOClick(TObject *Sender);
	void __fastcall SpeedButtonPClick(TObject *Sender);
	void __fastcall SpeedButtonQClick(TObject *Sender);
	void __fastcall SpeedButtonRClick(TObject *Sender);
	void __fastcall SpeedButtonSClick(TObject *Sender);
	void __fastcall SpeedButtonTClick(TObject *Sender);
	void __fastcall SpeedButtonVClick(TObject *Sender);
	void __fastcall SpeedButtonWClick(TObject *Sender);
	void __fastcall SpeedButtonXClick(TObject *Sender);
	void __fastcall SpeedButtonYClick(TObject *Sender);
	void __fastcall SpeedButtonZClick(TObject *Sender);
	void __fastcall SpeedButtonANDClick(TObject *Sender);
	void __fastcall SpeedButtonORClick(TObject *Sender);
	void __fastcall SpeedButtonXORClick(TObject *Sender);
	void __fastcall SpeedButtonEqualClick(TObject *Sender);
	void __fastcall SpeedButtonImplClick(TObject *Sender);
	void __fastcall SpeedButtonConvImplClick(TObject *Sender);
	void __fastcall SpeedButtonShefferClick(TObject *Sender);
	void __fastcall SpeedButtonNORClick(TObject *Sender);
	void __fastcall SpeedButton2Click(TObject *Sender);
	void __fastcall SpeedButton3Click(TObject *Sender);
	void __fastcall SpeedButton4Click(TObject *Sender);
	void __fastcall SpeedButton5Click(TObject *Sender);
	void __fastcall SpeedButton6Click(TObject *Sender);
	void __fastcall SaveExecute(TObject *Sender);
	void __fastcall N4Click(TObject *Sender);
	void __fastcall SpeedButton7Click(TObject *Sender);
	void __fastcall N9Click(TObject *Sender);
private:	// User declarations
public:		// User declarations
	__fastcall TForm1(TComponent* Owner);
	TSpeedButton* SymbolButton(String symbol);
};
//---------------------------------------------------------------------------
extern PACKAGE TForm1 *Form1;
//---------------------------------------------------------------------------
#endif
